node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
link(1,4) :- #0.415.
link(4,1) :- #0.096.
link(1,44) :- #0.8.
link(44,1) :- #0.77.
link(1,45) :- #0.858.
link(45,1) :- #0.666.
link(1,46) :- #0.59.
link(46,1) :- #0.782.
link(1,57) :- #0.139.
link(57,1) :- #0.1.
link(1,60) :- #0.495.
link(60,1) :- #0.992.
link(1,65) :- #0.471.
link(65,1) :- #0.337.
link(1,76) :- #0.875.
link(76,1) :- #0.071.
link(1,106) :- #0.849.
link(106,1) :- #0.453.
link(1,109) :- #0.418.
link(109,1) :- #0.896.
link(1,110) :- #0.626.
link(110,1) :- #0.921.
link(1,114) :- #0.715.
link(114,1) :- #0.98.
link(1,135) :- #0.161.
link(135,1) :- #0.804.
link(2,12) :- #0.346.
link(12,2) :- #0.8.
link(2,34) :- #0.29.
link(34,2) :- #0.886.
link(2,36) :- #0.716.
link(36,2) :- #0.653.
link(2,48) :- #0.526.
link(48,2) :- #0.493.
link(2,63) :- #0.405.
link(63,2) :- #0.955.
link(2,101) :- #0.139.
link(101,2) :- #0.082.
link(2,109) :- #0.057.
link(109,2) :- #0.545.
link(2,120) :- #0.22.
link(120,2) :- #0.038.
link(2,135) :- #0.292.
link(135,2) :- #0.575.
link(3,29) :- #0.626.
link(29,3) :- #0.325.
link(3,35) :- #0.918.
link(35,3) :- #0.269.
link(3,38) :- #0.188.
link(38,3) :- #0.486.
link(3,42) :- #0.941.
link(42,3) :- #0.765.
link(3,45) :- #0.966.
link(45,3) :- #0.531.
link(3,47) :- #0.77.
link(47,3) :- #0.93.
link(3,53) :- #0.828.
link(53,3) :- #0.587.
link(3,63) :- #0.445.
link(63,3) :- #0.319.
link(3,66) :- #0.252.
link(66,3) :- #0.118.
link(3,68) :- #0.993.
link(68,3) :- #0.98.
link(3,70) :- #0.819.
link(70,3) :- #0.49.
link(3,76) :- #0.636.
link(76,3) :- #0.041.
link(3,90) :- #0.056.
link(90,3) :- #0.669.
link(3,94) :- #0.139.
link(94,3) :- #0.505.
link(3,97) :- #0.528.
link(97,3) :- #0.682.
link(3,106) :- #0.087.
link(106,3) :- #0.471.
link(3,108) :- #0.838.
link(108,3) :- #0.886.
link(3,119) :- #0.165.
link(119,3) :- #0.718.
link(3,121) :- #0.356.
link(121,3) :- #0.193.
link(3,127) :- #0.238.
link(127,3) :- #0.712.
link(4,13) :- #0.41.
link(13,4) :- #0.654.
link(4,14) :- #0.144.
link(14,4) :- #0.371.
link(4,28) :- #0.64.
link(28,4) :- #0.651.
link(4,30) :- #0.969.
link(30,4) :- #0.327.
link(4,43) :- #0.527.
link(43,4) :- #0.649.
link(4,49) :- #0.269.
link(49,4) :- #0.701.
link(4,57) :- #0.349.
link(57,4) :- #0.648.
link(4,67) :- #0.239.
link(67,4) :- #0.115.
link(4,71) :- #0.387.
link(71,4) :- #0.303.
link(4,72) :- #0.469.
link(72,4) :- #0.567.
link(4,102) :- #0.883.
link(102,4) :- #0.022.
link(4,114) :- #0.328.
link(114,4) :- #0.971.
link(4,116) :- #0.467.
link(116,4) :- #0.065.
link(4,125) :- #0.569.
link(125,4) :- #0.383.
link(4,134) :- #0.744.
link(134,4) :- #0.057.
link(5,30) :- #0.82.
link(30,5) :- #0.891.
link(5,41) :- #0.633.
link(41,5) :- #0.883.
link(5,46) :- #0.734.
link(46,5) :- #0.523.
link(5,64) :- #0.682.
link(64,5) :- #0.349.
link(5,103) :- #0.698.
link(103,5) :- #0.655.
link(5,106) :- #0.94.
link(106,5) :- #0.505.
link(5,133) :- #0.902.
link(133,5) :- #0.95.
link(6,36) :- #0.235.
link(36,6) :- #0.024.
link(6,49) :- #0.856.
link(49,6) :- #0.652.
link(6,57) :- #0.857.
link(57,6) :- #0.739.
link(6,78) :- #0.964.
link(78,6) :- #0.897.
link(6,89) :- #0.218.
link(89,6) :- #0.302.
link(6,90) :- #0.845.
link(90,6) :- #0.824.
link(6,101) :- #0.919.
link(101,6) :- #0.058.
link(6,111) :- #0.795.
link(111,6) :- #0.596.
link(6,117) :- #0.83.
link(117,6) :- #0.925.
link(6,119) :- #0.937.
link(119,6) :- #0.721.
link(6,124) :- #0.963.
link(124,6) :- #0.022.
link(6,135) :- #0.569.
link(135,6) :- #0.18.
link(7,10) :- #0.51.
link(10,7) :- #0.798.
link(7,25) :- #0.419.
link(25,7) :- #0.22.
link(7,32) :- #0.193.
link(32,7) :- #0.829.
link(7,33) :- #0.441.
link(33,7) :- #0.109.
link(7,50) :- #0.59.
link(50,7) :- #0.317.
link(7,54) :- #0.599.
link(54,7) :- #0.533.
link(7,58) :- #0.253.
link(58,7) :- #0.942.
link(7,60) :- #0.357.
link(60,7) :- #0.689.
link(7,65) :- #0.088.
link(65,7) :- #0.223.
link(7,66) :- #0.141.
link(66,7) :- #0.774.
link(7,69) :- #0.413.
link(69,7) :- #0.103.
link(7,71) :- #0.682.
link(71,7) :- #0.497.
link(7,73) :- #0.686.
link(73,7) :- #0.535.
link(7,77) :- #0.244.
link(77,7) :- #0.486.
link(7,80) :- #0.716.
link(80,7) :- #0.316.
link(7,82) :- #0.339.
link(82,7) :- #0.837.
link(7,101) :- #0.055.
link(101,7) :- #0.012.
link(7,108) :- #0.619.
link(108,7) :- #0.201.
link(7,120) :- #0.669.
link(120,7) :- #0.247.
link(7,125) :- #0.397.
link(125,7) :- #0.672.
link(7,130) :- #0.223.
link(130,7) :- #0.897.
link(7,133) :- #0.43.
link(133,7) :- #0.343.
link(8,22) :- #0.614.
link(22,8) :- #0.346.
link(8,35) :- #0.357.
link(35,8) :- #0.794.
link(8,40) :- #0.584.
link(40,8) :- #0.14.
link(8,51) :- #0.114.
link(51,8) :- #0.514.
link(8,60) :- #0.465.
link(60,8) :- #0.433.
link(8,67) :- #0.937.
link(67,8) :- #0.444.
link(8,69) :- #0.497.
link(69,8) :- #0.17.
link(8,73) :- #0.515.
link(73,8) :- #0.464.
link(8,77) :- #0.871.
link(77,8) :- #0.875.
link(8,100) :- #0.799.
link(100,8) :- #0.933.
link(8,131) :- #0.164.
link(131,8) :- #0.292.
link(8,134) :- #0.853.
link(134,8) :- #0.885.
link(9,24) :- #0.208.
link(24,9) :- #0.536.
link(9,27) :- #0.498.
link(27,9) :- #0.327.
link(9,44) :- #0.607.
link(44,9) :- #0.21.
link(9,70) :- #0.84.
link(70,9) :- #0.464.
link(9,76) :- #0.004.
link(76,9) :- #0.572.
link(9,81) :- #0.917.
link(81,9) :- #0.686.
link(9,84) :- #0.131.
link(84,9) :- #0.765.
link(9,93) :- #0.701.
link(93,9) :- #0.545.
link(9,97) :- #0.567.
link(97,9) :- #0.798.
link(9,110) :- #0.58.
link(110,9) :- #0.903.
link(9,120) :- #0.608.
link(120,9) :- #0.94.
link(9,122) :- #0.917.
link(122,9) :- #0.097.
link(9,127) :- #0.568.
link(127,9) :- #0.791.
link(9,129) :- #0.53.
link(129,9) :- #0.677.
link(9,132) :- #0.291.
link(132,9) :- #0.368.
link(10,23) :- #0.294.
link(23,10) :- #0.672.
link(10,35) :- #0.327.
link(35,10) :- #0.118.
link(10,38) :- #0.93.
link(38,10) :- #0.77.
link(10,39) :- #0.622.
link(39,10) :- #0.064.
link(10,45) :- #0.333.
link(45,10) :- #0.441.
link(10,46) :- #0.372.
link(46,10) :- #0.064.
link(10,58) :- #0.114.
link(58,10) :- #0.282.
link(10,59) :- #0.692.
link(59,10) :- #0.876.
link(10,62) :- #0.952.
link(62,10) :- #0.449.
link(10,64) :- #0.584.
link(64,10) :- #0.049.
link(10,82) :- #0.609.
link(82,10) :- #0.301.
link(10,94) :- #0.585.
link(94,10) :- #0.196.
link(10,102) :- #0.321.
link(102,10) :- #0.692.
link(10,123) :- #0.943.
link(123,10) :- #0.443.
link(10,127) :- #0.564.
link(127,10) :- #0.977.
link(11,21) :- #0.829.
link(21,11) :- #0.799.
link(11,56) :- #0.954.
link(56,11) :- #0.739.
link(11,90) :- #0.41.
link(90,11) :- #0.868.
link(11,97) :- #0.073.
link(97,11) :- #0.737.
link(11,117) :- #0.563.
link(117,11) :- #0.291.
link(11,119) :- #0.203.
link(119,11) :- #0.143.
link(11,126) :- #0.983.
link(126,11) :- #0.189.
link(11,129) :- #0.143.
link(129,11) :- #0.109.
link(12,20) :- #0.857.
link(20,12) :- #0.529.
link(12,36) :- #0.023.
link(36,12) :- #0.069.
link(12,39) :- #0.347.
link(39,12) :- #0.298.
link(12,63) :- #0.424.
link(63,12) :- #0.361.
link(12,70) :- #0.796.
link(70,12) :- #0.567.
link(12,84) :- #0.175.
link(84,12) :- #0.157.
link(12,85) :- #0.798.
link(85,12) :- #0.497.
link(12,96) :- #0.375.
link(96,12) :- #0.971.
link(12,111) :- #0.585.
link(111,12) :- #0.122.
link(12,122) :- #0.078.
link(122,12) :- #0.862.
link(12,135) :- #0.339.
link(135,12) :- #0.742.
link(13,18) :- #0.218.
link(18,13) :- #0.754.
link(13,22) :- #0.919.
link(22,13) :- #0.292.
link(13,30) :- #0.12.
link(30,13) :- #0.204.
link(13,48) :- #0.946.
link(48,13) :- #0.264.
link(13,58) :- #0.928.
link(58,13) :- #0.312.
link(13,75) :- #0.33.
link(75,13) :- #0.274.
link(13,81) :- #0.605.
link(81,13) :- #0.105.
link(13,102) :- #0.967.
link(102,13) :- #0.129.
link(13,104) :- #0.473.
link(104,13) :- #0.399.
link(14,19) :- #0.013.
link(19,14) :- #0.135.
link(14,39) :- #0.426.
link(39,14) :- #0.276.
link(14,62) :- #0.594.
link(62,14) :- #0.093.
link(14,74) :- #0.728.
link(74,14) :- #0.649.
link(14,81) :- #0.906.
link(81,14) :- #0.258.
link(14,82) :- #0.221.
link(82,14) :- #0.905.
link(14,90) :- #0.101.
link(90,14) :- #0.709.
link(14,101) :- #0.778.
link(101,14) :- #0.117.
link(14,103) :- #0.425.
link(103,14) :- #0.956.
link(14,134) :- #0.009.
link(134,14) :- #0.251.
link(15,19) :- #0.309.
link(19,15) :- #0.029.
link(15,32) :- #0.842.
link(32,15) :- #0.022.
link(15,37) :- #0.315.
link(37,15) :- #0.872.
link(15,47) :- #0.267.
link(47,15) :- #0.61.
link(15,53) :- #0.34.
link(53,15) :- #0.395.
link(15,85) :- #0.644.
link(85,15) :- #0.108.
link(15,115) :- #0.533.
link(115,15) :- #0.227.
link(16,17) :- #0.987.
link(17,16) :- #0.014.
link(16,25) :- #0.286.
link(25,16) :- #0.731.
link(16,44) :- #0.896.
link(44,16) :- #0.072.
link(16,54) :- #0.941.
link(54,16) :- #0.67.
link(16,59) :- #0.498.
link(59,16) :- #0.457.
link(16,61) :- #0.833.
link(61,16) :- #0.516.
link(16,62) :- #0.485.
link(62,16) :- #0.591.
link(16,97) :- #0.874.
link(97,16) :- #0.463.
link(16,115) :- #0.737.
link(115,16) :- #0.415.
link(16,118) :- #0.246.
link(118,16) :- #0.065.
link(17,33) :- #0.041.
link(33,17) :- #0.558.
link(17,35) :- #0.286.
link(35,17) :- #0.021.
link(17,41) :- #0.233.
link(41,17) :- #0.907.
link(17,58) :- #0.372.
link(58,17) :- #0.06.
link(17,66) :- #0.891.
link(66,17) :- #0.3.
link(17,67) :- #0.319.
link(67,17) :- #0.35.
link(17,70) :- #0.261.
link(70,17) :- #0.362.
link(17,72) :- #0.484.
link(72,17) :- #0.338.
link(17,74) :- #0.742.
link(74,17) :- #0.7.
link(17,88) :- #0.559.
link(88,17) :- #0.777.
link(17,96) :- #0.506.
link(96,17) :- #0.145.
link(17,100) :- #0.84.
link(100,17) :- #0.759.
link(17,113) :- #0.07.
link(113,17) :- #0.335.
link(17,123) :- #0.211.
link(123,17) :- #0.463.
link(17,125) :- #0.098.
link(125,17) :- #0.633.
link(17,131) :- #0.824.
link(131,17) :- #0.642.
link(18,20) :- #0.911.
link(20,18) :- #0.987.
link(18,32) :- #0.664.
link(32,18) :- #0.583.
link(18,35) :- #0.084.
link(35,18) :- #0.407.
link(18,63) :- #0.406.
link(63,18) :- #0.626.
link(18,96) :- #0.608.
link(96,18) :- #0.132.
link(18,102) :- #0.659.
link(102,18) :- #0.741.
link(18,104) :- #0.213.
link(104,18) :- #0.214.
link(18,112) :- #0.447.
link(112,18) :- #0.035.
link(19,40) :- #0.153.
link(40,19) :- #0.302.
link(19,45) :- #0.395.
link(45,19) :- #0.121.
link(19,48) :- #0.424.
link(48,19) :- #0.093.
link(19,50) :- #0.059.
link(50,19) :- #0.772.
link(19,67) :- #0.947.
link(67,19) :- #0.543.
link(19,75) :- #0.388.
link(75,19) :- #0.132.
link(19,81) :- #0.594.
link(81,19) :- #0.228.
link(19,87) :- #0.849.
link(87,19) :- #0.526.
link(19,104) :- #0.133.
link(104,19) :- #0.527.
link(19,107) :- #0.876.
link(107,19) :- #0.814.
link(19,108) :- #0.882.
link(108,19) :- #0.847.
link(19,113) :- #0.355.
link(113,19) :- #0.616.
link(19,116) :- #0.224.
link(116,19) :- #0.294.
link(20,39) :- #0.849.
link(39,20) :- #0.056.
link(20,44) :- #0.492.
link(44,20) :- #0.78.
link(20,54) :- #0.409.
link(54,20) :- #0.094.
link(20,63) :- #0.355.
link(63,20) :- #0.973.
link(20,65) :- #0.559.
link(65,20) :- #0.785.
link(20,86) :- #0.794.
link(86,20) :- #0.052.
link(20,94) :- #0.486.
link(94,20) :- #0.833.
link(20,100) :- #0.363.
link(100,20) :- #0.312.
link(20,105) :- #0.49.
link(105,20) :- #0.614.
link(20,121) :- #0.526.
link(121,20) :- #0.275.
link(21,25) :- #0.298.
link(25,21) :- #0.209.
link(21,32) :- #0.853.
link(32,21) :- #0.297.
link(21,34) :- #0.321.
link(34,21) :- #0.099.
link(21,37) :- #0.221.
link(37,21) :- #0.428.
link(21,49) :- #0.041.
link(49,21) :- #0.626.
link(21,65) :- #0.557.
link(65,21) :- #0.682.
link(21,75) :- #0.385.
link(75,21) :- #0.683.
link(21,86) :- #0.106.
link(86,21) :- #0.034.
link(21,93) :- #0.739.
link(93,21) :- #0.58.
link(21,95) :- #0.575.
link(95,21) :- #0.75.
link(21,97) :- #0.474.
link(97,21) :- #0.573.
link(21,99) :- #0.47.
link(99,21) :- #0.679.
link(21,104) :- #0.059.
link(104,21) :- #0.189.
link(21,123) :- #0.557.
link(123,21) :- #0.237.
link(21,124) :- #0.63.
link(124,21) :- #0.331.
link(21,130) :- #0.878.
link(130,21) :- #0.261.
link(22,38) :- #0.829.
link(38,22) :- #0.095.
link(22,41) :- #0.472.
link(41,22) :- #0.92.
link(22,78) :- #0.721.
link(78,22) :- #0.694.
link(22,97) :- #0.706.
link(97,22) :- #0.369.
link(22,98) :- #0.25.
link(98,22) :- #0.442.
link(22,101) :- #0.386.
link(101,22) :- #0.034.
link(22,111) :- #0.19.
link(111,22) :- #0.185.
link(22,122) :- #0.149.
link(122,22) :- #0.699.
link(22,130) :- #0.433.
link(130,22) :- #0.193.
link(22,132) :- #0.573.
link(132,22) :- #0.319.
link(23,31) :- #0.372.
link(31,23) :- #0.431.
link(23,34) :- #0.246.
link(34,23) :- #0.487.
link(23,46) :- #0.494.
link(46,23) :- #0.394.
link(23,52) :- #0.393.
link(52,23) :- #0.219.
link(23,56) :- #0.122.
link(56,23) :- #0.685.
link(23,57) :- #0.505.
link(57,23) :- #0.516.
link(23,74) :- #0.877.
link(74,23) :- #0.118.
link(23,102) :- #0.548.
link(102,23) :- #0.465.
link(23,109) :- #0.369.
link(109,23) :- #0.965.
link(23,117) :- #0.359.
link(117,23) :- #0.371.
link(23,128) :- #0.978.
link(128,23) :- #0.729.
link(24,30) :- #0.778.
link(30,24) :- #0.04.
link(24,36) :- #0.347.
link(36,24) :- #0.373.
link(24,37) :- #0.071.
link(37,24) :- #0.263.
link(24,38) :- #0.432.
link(38,24) :- #0.797.
link(24,51) :- #0.543.
link(51,24) :- #0.323.
link(24,57) :- #0.919.
link(57,24) :- #0.637.
link(24,65) :- #0.662.
link(65,24) :- #0.95.
link(24,81) :- #0.586.
link(81,24) :- #0.464.
link(25,33) :- #0.99.
link(33,25) :- #0.003.
link(25,37) :- #0.406.
link(37,25) :- #0.627.
link(25,48) :- #0.122.
link(48,25) :- #0.943.
link(25,59) :- #0.828.
link(59,25) :- #0.305.
link(25,61) :- #0.307.
link(61,25) :- #0.244.
link(25,78) :- #0.777.
link(78,25) :- #0.637.
link(25,82) :- #0.443.
link(82,25) :- #0.488.
link(25,93) :- #0.403.
link(93,25) :- #0.777.
link(25,103) :- #0.642.
link(103,25) :- #0.432.
link(25,107) :- #0.858.
link(107,25) :- #0.505.
link(25,115) :- #0.01.
link(115,25) :- #0.536.
link(25,119) :- #0.281.
link(119,25) :- #0.139.
link(25,134) :- #0.865.
link(134,25) :- #0.772.
link(26,32) :- #0.501.
link(32,26) :- #0.231.
link(26,42) :- #0.482.
link(42,26) :- #0.267.
link(26,60) :- #0.457.
link(60,26) :- #0.349.
link(26,65) :- #0.834.
link(65,26) :- #0.936.
link(26,77) :- #0.263.
link(77,26) :- #0.61.
link(26,108) :- #0.595.
link(108,26) :- #0.522.
link(26,109) :- #0.78.
link(109,26) :- #0.782.
link(26,112) :- #0.274.
link(112,26) :- #0.956.
link(26,117) :- #0.208.
link(117,26) :- #0.545.
link(26,130) :- #0.222.
link(130,26) :- #0.912.
link(26,135) :- #0.045.
link(135,26) :- #0.822.
link(27,43) :- #0.029.
link(43,27) :- #0.535.
link(27,49) :- #0.92.
link(49,27) :- #0.12.
link(27,60) :- #0.665.
link(60,27) :- #0.236.
link(27,63) :- #0.614.
link(63,27) :- #0.265.
link(27,69) :- #0.228.
link(69,27) :- #0.041.
link(27,72) :- #0.644.
link(72,27) :- #0.21.
link(27,79) :- #0.35.
link(79,27) :- #0.289.
link(27,94) :- #0.271.
link(94,27) :- #0.222.
link(27,97) :- #0.883.
link(97,27) :- #0.448.
link(27,101) :- #0.781.
link(101,27) :- #0.424.
link(27,105) :- #0.026.
link(105,27) :- #0.107.
link(27,134) :- #0.382.
link(134,27) :- #0.718.
link(28,48) :- #0.513.
link(48,28) :- #0.671.
link(28,54) :- #0.614.
link(54,28) :- #0.388.
link(28,62) :- #0.138.
link(62,28) :- #0.168.
link(28,65) :- #0.651.
link(65,28) :- #0.431.
link(28,66) :- #0.664.
link(66,28) :- #0.801.
link(28,79) :- #0.225.
link(79,28) :- #0.99.
link(28,84) :- #0.228.
link(84,28) :- #0.114.
link(28,92) :- #0.973.
link(92,28) :- #0.118.
link(28,96) :- #0.618.
link(96,28) :- #0.974.
link(28,101) :- #0.078.
link(101,28) :- #0.971.
link(28,114) :- #0.118.
link(114,28) :- #0.105.
link(28,115) :- #0.9.
link(115,28) :- #0.083.
link(28,118) :- #0.16.
link(118,28) :- #0.754.
link(28,121) :- #0.607.
link(121,28) :- #0.404.
link(28,129) :- #0.148.
link(129,28) :- #0.004.
link(28,133) :- #0.255.
link(133,28) :- #0.712.
link(29,31) :- #0.98.
link(31,29) :- #0.173.
link(29,43) :- #0.458.
link(43,29) :- #0.987.
link(29,75) :- #0.92.
link(75,29) :- #0.213.
link(29,77) :- #0.272.
link(77,29) :- #0.449.
link(29,90) :- #0.22.
link(90,29) :- #0.809.
link(29,92) :- #0.773.
link(92,29) :- #0.716.
link(29,94) :- #0.858.
link(94,29) :- #0.114.
link(29,114) :- #0.459.
link(114,29) :- #0.84.
link(29,124) :- #0.666.
link(124,29) :- #0.584.
link(29,132) :- #0.956.
link(132,29) :- #0.504.
link(30,34) :- #0.361.
link(34,30) :- #0.786.
link(30,39) :- #0.047.
link(39,30) :- #0.183.
link(30,44) :- #0.327.
link(44,30) :- #0.285.
link(30,48) :- #0.952.
link(48,30) :- #0.523.
link(30,49) :- #0.515.
link(49,30) :- #0.835.
link(30,65) :- #0.498.
link(65,30) :- #0.123.
link(30,68) :- #0.491.
link(68,30) :- #0.145.
link(30,76) :- #0.941.
link(76,30) :- #0.55.
link(30,86) :- #0.115.
link(86,30) :- #0.951.
link(30,87) :- #0.056.
link(87,30) :- #0.018.
link(30,110) :- #0.831.
link(110,30) :- #0.242.
link(30,114) :- #0.71.
link(114,30) :- #0.436.
link(30,115) :- #0.212.
link(115,30) :- #0.066.
link(30,125) :- #0.714.
link(125,30) :- #0.254.
link(31,44) :- #0.854.
link(44,31) :- #0.846.
link(31,62) :- #0.703.
link(62,31) :- #0.853.
link(31,67) :- #0.55.
link(67,31) :- #0.796.
link(31,74) :- #0.327.
link(74,31) :- #0.757.
link(31,75) :- #0.76.
link(75,31) :- #0.329.
link(31,78) :- #0.884.
link(78,31) :- #0.853.
link(31,82) :- #0.997.
link(82,31) :- #0.189.
link(31,94) :- #0.775.
link(94,31) :- #0.839.
link(31,99) :- #0.802.
link(99,31) :- #0.696.
link(31,124) :- #0.114.
link(124,31) :- #0.433.
link(31,132) :- #0.549.
link(132,31) :- #0.662.
link(32,36) :- #0.245.
link(36,32) :- #0.16.
link(32,50) :- #0.338.
link(50,32) :- #0.333.
link(32,61) :- #0.683.
link(61,32) :- #0.179.
link(32,71) :- #0.53.
link(71,32) :- #0.417.
link(32,95) :- #0.737.
link(95,32) :- #0.043.
link(32,107) :- #0.097.
link(107,32) :- #0.094.
link(32,132) :- #0.021.
link(132,32) :- #0.314.
link(33,35) :- #0.419.
link(35,33) :- #0.553.
link(33,48) :- #0.81.
link(48,33) :- #0.579.
link(33,61) :- #0.602.
link(61,33) :- #0.413.
link(33,62) :- #0.371.
link(62,33) :- #0.924.
link(33,71) :- #0.069.
link(71,33) :- #0.554.
link(33,103) :- #0.48.
link(103,33) :- #0.985.
link(33,107) :- #0.306.
link(107,33) :- #0.749.
link(33,111) :- #0.39.
link(111,33) :- #0.917.
link(33,112) :- #0.204.
link(112,33) :- #0.83.
link(33,114) :- #0.883.
link(114,33) :- #0.427.
link(33,121) :- #0.78.
link(121,33) :- #0.289.
link(33,134) :- #0.213.
link(134,33) :- #0.331.
link(34,49) :- #0.757.
link(49,34) :- #0.496.
link(34,55) :- #0.03.
link(55,34) :- #0.121.
link(34,78) :- #0.178.
link(78,34) :- #0.511.
link(34,105) :- #0.533.
link(105,34) :- #0.898.
link(34,115) :- #0.992.
link(115,34) :- #0.659.
link(34,124) :- #0.511.
link(124,34) :- #0.838.
link(35,38) :- #0.305.
link(38,35) :- #0.887.
link(35,48) :- #0.61.
link(48,35) :- #0.438.
link(35,63) :- #0.405.
link(63,35) :- #0.039.
link(35,81) :- #0.49.
link(81,35) :- #0.082.
link(35,87) :- #0.836.
link(87,35) :- #0.762.
link(35,91) :- #0.948.
link(91,35) :- #0.479.
link(35,102) :- #0.038.
link(102,35) :- #0.887.
link(35,103) :- #0.719.
link(103,35) :- #0.116.
link(35,105) :- #0.62.
link(105,35) :- #0.18.
link(35,107) :- #0.593.
link(107,35) :- #0.744.
link(35,112) :- #0.233.
link(112,35) :- #0.809.
link(35,113) :- #0.578.
link(113,35) :- #0.691.
link(36,75) :- #0.548.
link(75,36) :- #0.22.
link(36,78) :- #0.576.
link(78,36) :- #0.546.
link(36,82) :- #0.801.
link(82,36) :- #0.286.
link(36,88) :- #0.346.
link(88,36) :- #0.815.
link(36,93) :- #0.169.
link(93,36) :- #0.248.
link(36,98) :- #0.114.
link(98,36) :- #0.884.
link(36,112) :- #0.278.
link(112,36) :- #0.378.
link(36,113) :- #0.999.
link(113,36) :- #0.135.
link(36,126) :- #0.09.
link(126,36) :- #0.31.
link(36,131) :- #0.537.
link(131,36) :- #0.068.
link(37,55) :- #0.212.
link(55,37) :- #0.373.
link(37,60) :- #0.834.
link(60,37) :- #0.552.
link(37,74) :- #0.209.
link(74,37) :- #0.804.
link(37,76) :- #0.797.
link(76,37) :- #0.969.
link(37,86) :- #0.421.
link(86,37) :- #0.883.
link(37,87) :- #0.157.
link(87,37) :- #0.501.
link(37,94) :- #0.993.
link(94,37) :- #0.468.
link(37,108) :- #0.63.
link(108,37) :- #0.593.
link(37,116) :- #0.764.
link(116,37) :- #0.223.
link(37,128) :- #0.04.
link(128,37) :- #0.897.
link(37,134) :- #0.356.
link(134,37) :- #0.677.
link(38,49) :- #0.079.
link(49,38) :- #0.517.
link(38,83) :- #0.249.
link(83,38) :- #0.72.
link(38,126) :- #0.927.
link(126,38) :- #0.172.
link(38,127) :- #0.16.
link(127,38) :- #0.004.
link(38,129) :- #0.163.
link(129,38) :- #0.89.
link(38,131) :- #0.253.
link(131,38) :- #0.994.
link(39,51) :- #0.465.
link(51,39) :- #0.94.
link(39,79) :- #0.987.
link(79,39) :- #0.03.
link(39,88) :- #0.92.
link(88,39) :- #0.111.
link(39,95) :- #0.193.
link(95,39) :- #0.126.
link(39,99) :- #0.483.
link(99,39) :- #0.783.
link(39,100) :- #0.661.
link(100,39) :- #0.414.
link(39,101) :- #0.901.
link(101,39) :- #0.992.
link(39,115) :- #0.251.
link(115,39) :- #0.081.
link(39,116) :- #0.495.
link(116,39) :- #0.387.
link(40,42) :- #0.908.
link(42,40) :- #0.299.
link(40,46) :- #0.507.
link(46,40) :- #0.222.
link(40,60) :- #0.668.
link(60,40) :- #0.706.
link(40,61) :- #0.423.
link(61,40) :- #0.721.
link(40,62) :- #0.684.
link(62,40) :- #0.262.
link(40,64) :- #0.186.
link(64,40) :- #0.195.
link(40,71) :- #0.645.
link(71,40) :- #0.103.
link(40,77) :- #0.531.
link(77,40) :- #0.273.
link(40,90) :- #0.928.
link(90,40) :- #0.108.
link(40,95) :- #0.624.
link(95,40) :- #0.826.
link(40,121) :- #0.16.
link(121,40) :- #0.24.
link(40,131) :- #0.679.
link(131,40) :- #0.392.
link(40,134) :- #0.953.
link(134,40) :- #0.011.
link(41,44) :- #0.543.
link(44,41) :- #0.789.
link(41,50) :- #0.823.
link(50,41) :- #0.165.
link(41,53) :- #0.11.
link(53,41) :- #0.647.
link(41,54) :- #0.235.
link(54,41) :- #0.675.
link(41,65) :- #0.614.
link(65,41) :- #0.757.
link(41,71) :- #0.468.
link(71,41) :- #0.324.
link(41,80) :- #0.939.
link(80,41) :- #0.725.
link(41,81) :- #0.101.
link(81,41) :- #0.433.
link(41,96) :- #0.296.
link(96,41) :- #0.562.
link(41,99) :- #0.338.
link(99,41) :- #0.079.
link(41,104) :- #0.383.
link(104,41) :- #0.822.
link(41,123) :- #0.715.
link(123,41) :- #0.45.
link(41,130) :- #0.116.
link(130,41) :- #0.933.
link(41,131) :- #0.563.
link(131,41) :- #0.659.
link(42,79) :- #0.589.
link(79,42) :- #0.631.
link(42,83) :- #0.78.
link(83,42) :- #0.484.
link(42,91) :- #0.027.
link(91,42) :- #0.353.
link(42,104) :- #0.14.
link(104,42) :- #0.495.
link(42,107) :- #0.569.
link(107,42) :- #0.045.
link(42,110) :- #0.609.
link(110,42) :- #0.
link(42,112) :- #0.995.
link(112,42) :- #0.873.
link(42,118) :- #0.765.
link(118,42) :- #0.063.
link(42,129) :- #0.392.
link(129,42) :- #0.404.
link(43,44) :- #0.532.
link(44,43) :- #0.756.
link(43,72) :- #0.896.
link(72,43) :- #0.198.
link(43,86) :- #0.688.
link(86,43) :- #0.124.
link(43,89) :- #0.243.
link(89,43) :- #0.677.
link(43,110) :- #0.161.
link(110,43) :- #0.386.
link(43,116) :- #0.139.
link(116,43) :- #0.169.
link(44,45) :- #0.204.
link(45,44) :- #0.522.
link(44,62) :- #0.413.
link(62,44) :- #0.268.
link(44,65) :- #0.677.
link(65,44) :- #0.908.
link(44,66) :- #0.154.
link(66,44) :- #0.856.
link(44,75) :- #0.554.
link(75,44) :- #0.5.
link(44,97) :- #0.571.
link(97,44) :- #0.23.
link(44,112) :- #0.134.
link(112,44) :- #0.541.
link(44,118) :- #0.064.
link(118,44) :- #0.815.
link(44,124) :- #0.755.
link(124,44) :- #0.837.
link(44,126) :- #0.907.
link(126,44) :- #0.557.
link(44,131) :- #0.758.
link(131,44) :- #0.679.
link(45,46) :- #0.371.
link(46,45) :- #0.732.
link(45,55) :- #0.32.
link(55,45) :- #0.971.
link(45,58) :- #0.859.
link(58,45) :- #0.868.
link(45,63) :- #0.363.
link(63,45) :- #0.398.
link(45,88) :- #0.48.
link(88,45) :- #0.561.
link(45,101) :- #0.932.
link(101,45) :- #0.689.
link(45,102) :- #0.18.
link(102,45) :- #0.246.
link(45,121) :- #0.286.
link(121,45) :- #0.386.
link(45,131) :- #0.209.
link(131,45) :- #0.513.
link(46,48) :- #0.874.
link(48,46) :- #0.861.
link(46,50) :- #0.028.
link(50,46) :- #0.211.
link(46,51) :- #0.71.
link(51,46) :- #0.785.
link(46,59) :- #0.264.
link(59,46) :- #0.698.
link(46,67) :- #0.414.
link(67,46) :- #0.201.
link(46,75) :- #0.64.
link(75,46) :- #0.803.
link(46,76) :- #0.829.
link(76,46) :- #0.019.
link(46,78) :- #0.758.
link(78,46) :- #0.018.
link(46,83) :- #0.421.
link(83,46) :- #0.994.
link(46,107) :- #0.87.
link(107,46) :- #0.541.
link(46,134) :- #0.097.
link(134,46) :- #0.318.
link(47,51) :- #0.505.
link(51,47) :- #0.933.
link(47,52) :- #0.187.
link(52,47) :- #0.282.
link(47,59) :- #0.549.
link(59,47) :- #0.586.
link(47,75) :- #0.701.
link(75,47) :- #0.319.
link(47,81) :- #0.768.
link(81,47) :- #0.074.
link(47,93) :- #0.804.
link(93,47) :- #0.02.
link(47,97) :- #0.217.
link(97,47) :- #0.763.
link(47,100) :- #0.483.
link(100,47) :- #0.819.
link(47,102) :- #0.547.
link(102,47) :- #0.267.
link(47,120) :- #0.497.
link(120,47) :- #0.356.
link(47,125) :- #0.188.
link(125,47) :- #0.263.
link(47,126) :- #0.772.
link(126,47) :- #0.471.
link(48,62) :- #0.304.
link(62,48) :- #0.44.
link(48,64) :- #0.954.
link(64,48) :- #0.238.
link(48,79) :- #0.367.
link(79,48) :- #0.708.
link(48,80) :- #0.951.
link(80,48) :- #0.001.
link(48,82) :- #0.211.
link(82,48) :- #0.039.
link(48,91) :- #0.077.
link(91,48) :- #0.267.
link(49,56) :- #0.449.
link(56,49) :- #0.972.
link(49,63) :- #0.174.
link(63,49) :- #0.278.
link(49,73) :- #0.638.
link(73,49) :- #0.065.
link(49,83) :- #0.562.
link(83,49) :- #0.85.
link(49,87) :- #0.389.
link(87,49) :- #0.641.
link(49,97) :- #0.286.
link(97,49) :- #0.423.
link(49,99) :- #0.617.
link(99,49) :- #0.534.
link(49,109) :- #0.343.
link(109,49) :- #0.434.
link(49,130) :- #0.074.
link(130,49) :- #0.19.
link(50,65) :- #0.918.
link(65,50) :- #0.965.
link(50,78) :- #0.424.
link(78,50) :- #0.222.
link(50,86) :- #0.299.
link(86,50) :- #0.852.
link(50,99) :- #0.174.
link(99,50) :- #0.057.
link(50,103) :- #0.695.
link(103,50) :- #0.975.
link(50,121) :- #0.289.
link(121,50) :- #0.83.
link(50,125) :- #0.529.
link(125,50) :- #0.575.
link(51,54) :- #0.04.
link(54,51) :- #0.545.
link(51,66) :- #0.688.
link(66,51) :- #0.971.
link(51,69) :- #0.454.
link(69,51) :- #0.291.
link(51,81) :- #0.168.
link(81,51) :- #0.981.
link(51,99) :- #0.334.
link(99,51) :- #0.12.
link(51,123) :- #0.563.
link(123,51) :- #0.394.
link(52,57) :- #0.453.
link(57,52) :- #0.79.
link(52,64) :- #0.969.
link(64,52) :- #0.567.
link(52,68) :- #0.819.
link(68,52) :- #0.032.
link(52,69) :- #0.345.
link(69,52) :- #0.373.
link(52,72) :- #0.553.
link(72,52) :- #0.241.
link(52,81) :- #0.822.
link(81,52) :- #0.435.
link(52,121) :- #0.327.
link(121,52) :- #0.34.
link(53,64) :- #0.388.
link(64,53) :- #0.561.
link(53,65) :- #0.724.
link(65,53) :- #0.344.
link(53,70) :- #0.968.
link(70,53) :- #0.247.
link(53,73) :- #0.514.
link(73,53) :- #0.368.
link(53,75) :- #0.89.
link(75,53) :- #0.812.
link(53,79) :- #0.408.
link(79,53) :- #0.085.
link(53,92) :- #0.92.
link(92,53) :- #0.288.
link(53,105) :- #0.404.
link(105,53) :- #0.341.
link(53,119) :- #0.288.
link(119,53) :- #0.59.
link(54,60) :- #0.592.
link(60,54) :- #0.503.
link(54,64) :- #0.983.
link(64,54) :- #0.244.
link(54,73) :- #0.095.
link(73,54) :- #0.441.
link(54,88) :- #0.93.
link(88,54) :- #0.057.
link(54,92) :- #0.386.
link(92,54) :- #0.844.
link(54,97) :- #0.869.
link(97,54) :- #0.794.
link(54,103) :- #0.262.
link(103,54) :- #0.811.
link(54,117) :- #0.73.
link(117,54) :- #0.961.
link(54,125) :- #0.394.
link(125,54) :- #0.727.
link(54,132) :- #0.065.
link(132,54) :- #0.124.
link(55,64) :- #0.232.
link(64,55) :- #0.098.
link(55,78) :- #0.889.
link(78,55) :- #0.58.
link(55,105) :- #0.634.
link(105,55) :- #0.817.
link(55,110) :- #0.527.
link(110,55) :- #0.04.
link(55,111) :- #0.493.
link(111,55) :- #0.981.
link(55,124) :- #0.368.
link(124,55) :- #0.194.
link(55,125) :- #0.687.
link(125,55) :- #0.59.
link(56,67) :- #0.777.
link(67,56) :- #0.454.
link(56,73) :- #0.462.
link(73,56) :- #0.723.
link(56,82) :- #0.514.
link(82,56) :- #0.773.
link(56,106) :- #0.024.
link(106,56) :- #0.17.
link(56,109) :- #0.684.
link(109,56) :- #0.607.
link(56,111) :- #0.214.
link(111,56) :- #0.242.
link(56,113) :- #0.143.
link(113,56) :- #0.829.
link(56,128) :- #0.206.
link(128,56) :- #0.883.
link(57,63) :- #0.024.
link(63,57) :- #0.568.
link(57,65) :- #0.678.
link(65,57) :- #0.342.
link(57,75) :- #0.415.
link(75,57) :- #0.685.
link(57,78) :- #0.73.
link(78,57) :- #0.154.
link(57,80) :- #0.437.
link(80,57) :- #0.212.
link(57,85) :- #0.474.
link(85,57) :- #0.734.
link(57,100) :- #0.034.
link(100,57) :- #0.705.
link(57,105) :- #0.834.
link(105,57) :- #0.569.
link(58,69) :- #0.537.
link(69,58) :- #0.115.
link(58,74) :- #0.179.
link(74,58) :- #0.227.
link(58,84) :- #0.684.
link(84,58) :- #0.415.
link(58,88) :- #0.503.
link(88,58) :- #0.472.
link(58,92) :- #0.752.
link(92,58) :- #0.502.
link(58,107) :- #0.316.
link(107,58) :- #0.007.
link(58,110) :- #0.1.
link(110,58) :- #0.804.
link(58,133) :- #0.244.
link(133,58) :- #0.255.
link(59,62) :- #0.925.
link(62,59) :- #0.718.
link(59,105) :- #0.761.
link(105,59) :- #0.207.
link(59,135) :- #0.846.
link(135,59) :- #0.524.
link(60,61) :- #0.927.
link(61,60) :- #0.575.
link(60,89) :- #0.829.
link(89,60) :- #0.448.
link(60,126) :- #0.592.
link(126,60) :- #0.114.
link(60,128) :- #0.723.
link(128,60) :- #0.148.
link(60,129) :- #0.166.
link(129,60) :- #0.088.
link(60,133) :- #0.547.
link(133,60) :- #0.279.
link(61,83) :- #0.608.
link(83,61) :- #0.181.
link(61,84) :- #0.667.
link(84,61) :- #0.114.
link(61,128) :- #0.225.
link(128,61) :- #0.949.
link(62,65) :- #0.074.
link(65,62) :- #0.039.
link(62,69) :- #0.911.
link(69,62) :- #0.719.
link(62,87) :- #0.18.
link(87,62) :- #0.521.
link(62,89) :- #0.43.
link(89,62) :- #0.232.
link(62,105) :- #0.617.
link(105,62) :- #0.784.
link(62,114) :- #0.941.
link(114,62) :- #0.538.
link(62,115) :- #0.593.
link(115,62) :- #0.438.
link(62,116) :- #0.402.
link(116,62) :- #0.638.
link(62,118) :- #0.784.
link(118,62) :- #0.194.
link(62,126) :- #0.317.
link(126,62) :- #0.071.
link(62,130) :- #0.946.
link(130,62) :- #0.006.
link(62,135) :- #0.22.
link(135,62) :- #0.34.
link(63,78) :- #0.293.
link(78,63) :- #0.637.
link(63,88) :- #0.694.
link(88,63) :- #0.463.
link(63,101) :- #0.833.
link(101,63) :- #0.178.
link(63,105) :- #0.781.
link(105,63) :- #0.579.
link(63,131) :- #0.86.
link(131,63) :- #0.113.
link(63,132) :- #0.572.
link(132,63) :- #0.949.
link(64,74) :- #0.375.
link(74,64) :- #0.596.
link(64,92) :- #0.22.
link(92,64) :- #0.684.
link(64,102) :- #0.662.
link(102,64) :- #0.873.
link(64,104) :- #0.685.
link(104,64) :- #0.353.
link(64,107) :- #0.353.
link(107,64) :- #0.766.
link(64,109) :- #0.236.
link(109,64) :- #0.502.
link(64,129) :- #0.133.
link(129,64) :- #0.485.
link(64,134) :- #0.151.
link(134,64) :- #0.921.
link(65,71) :- #0.646.
link(71,65) :- #0.383.
link(65,82) :- #0.569.
link(82,65) :- #0.845.
link(65,83) :- #0.872.
link(83,65) :- #0.794.
link(65,99) :- #0.027.
link(99,65) :- #0.815.
link(65,111) :- #0.318.
link(111,65) :- #0.383.
link(65,118) :- #0.667.
link(118,65) :- #0.452.
link(66,71) :- #0.151.
link(71,66) :- #0.256.
link(66,83) :- #0.319.
link(83,66) :- #0.504.
link(66,90) :- #0.126.
link(90,66) :- #0.079.
link(66,96) :- #0.806.
link(96,66) :- #0.131.
link(66,102) :- #0.828.
link(102,66) :- #0.851.
link(66,104) :- #0.765.
link(104,66) :- #0.965.
link(66,115) :- #0.721.
link(115,66) :- #0.499.
link(66,128) :- #0.519.
link(128,66) :- #0.205.
link(66,132) :- #0.477.
link(132,66) :- #0.896.
link(67,71) :- #0.892.
link(71,67) :- #0.099.
link(67,72) :- #0.542.
link(72,67) :- #0.876.
link(67,73) :- #0.229.
link(73,67) :- #0.125.
link(67,77) :- #0.196.
link(77,67) :- #0.843.
link(67,118) :- #0.985.
link(118,67) :- #0.004.
link(67,122) :- #0.255.
link(122,67) :- #0.112.
link(68,73) :- #0.399.
link(73,68) :- #0.116.
link(68,134) :- #0.87.
link(134,68) :- #0.354.
link(69,76) :- #0.557.
link(76,69) :- #0.768.
link(69,79) :- #0.6.
link(79,69) :- #0.887.
link(69,88) :- #0.344.
link(88,69) :- #0.036.
link(69,90) :- #0.635.
link(90,69) :- #0.741.
link(69,106) :- #0.873.
link(106,69) :- #0.295.
link(69,107) :- #0.666.
link(107,69) :- #0.028.
link(69,108) :- #0.092.
link(108,69) :- #0.194.
link(69,111) :- #0.889.
link(111,69) :- #0.149.
link(69,114) :- #0.858.
link(114,69) :- #0.224.
link(69,125) :- #0.963.
link(125,69) :- #0.685.
link(70,72) :- #0.331.
link(72,70) :- #0.746.
link(70,78) :- #0.502.
link(78,70) :- #0.713.
link(70,86) :- #0.466.
link(86,70) :- #0.414.
link(70,87) :- #0.123.
link(87,70) :- #0.842.
link(70,94) :- #0.518.
link(94,70) :- #0.417.
link(70,95) :- #0.793.
link(95,70) :- #0.277.
link(70,109) :- #0.21.
link(109,70) :- #0.617.
link(70,112) :- #0.706.
link(112,70) :- #0.696.
link(71,89) :- #0.699.
link(89,71) :- #0.729.
link(71,100) :- #0.45.
link(100,71) :- #0.156.
link(71,130) :- #0.085.
link(130,71) :- #0.883.
link(72,77) :- #0.375.
link(77,72) :- #0.488.
link(72,78) :- #0.444.
link(78,72) :- #0.606.
link(72,87) :- #0.785.
link(87,72) :- #0.886.
link(72,94) :- #0.563.
link(94,72) :- #0.977.
link(72,114) :- #0.671.
link(114,72) :- #0.429.
link(73,102) :- #0.565.
link(102,73) :- #0.243.
link(73,119) :- #0.661.
link(119,73) :- #0.81.
link(73,130) :- #0.691.
link(130,73) :- #0.59.
link(74,87) :- #0.704.
link(87,74) :- #0.475.
link(74,88) :- #0.991.
link(88,74) :- #0.349.
link(74,92) :- #0.952.
link(92,74) :- #0.911.
link(74,109) :- #0.566.
link(109,74) :- #0.396.
link(74,114) :- #0.347.
link(114,74) :- #0.825.
link(74,122) :- #0.213.
link(122,74) :- #0.458.
link(74,132) :- #0.636.
link(132,74) :- #0.266.
link(74,134) :- #0.642.
link(134,74) :- #0.08.
link(75,76) :- #0.955.
link(76,75) :- #0.21.
link(75,81) :- #0.243.
link(81,75) :- #0.809.
link(75,82) :- #0.476.
link(82,75) :- #0.095.
link(75,115) :- #0.358.
link(115,75) :- #0.307.
link(76,87) :- #0.172.
link(87,76) :- #0.201.
link(76,89) :- #0.892.
link(89,76) :- #0.428.
link(76,92) :- #0.786.
link(92,76) :- #0.436.
link(76,97) :- #0.6.
link(97,76) :- #0.219.
link(76,112) :- #0.156.
link(112,76) :- #0.019.
link(76,116) :- #0.507.
link(116,76) :- #0.407.
link(76,121) :- #0.954.
link(121,76) :- #0.111.
link(76,123) :- #0.334.
link(123,76) :- #0.462.
link(76,127) :- #0.414.
link(127,76) :- #0.574.
link(77,79) :- #0.987.
link(79,77) :- #0.074.
link(77,82) :- #0.246.
link(82,77) :- #0.8.
link(77,88) :- #0.573.
link(88,77) :- #0.94.
link(77,91) :- #0.499.
link(91,77) :- #0.757.
link(77,104) :- #0.021.
link(104,77) :- #0.694.
link(77,106) :- #0.893.
link(106,77) :- #0.703.
link(77,118) :- #0.52.
link(118,77) :- #0.439.
link(78,101) :- #0.009.
link(101,78) :- #0.333.
link(78,106) :- #0.027.
link(106,78) :- #0.573.
link(78,111) :- #0.644.
link(111,78) :- #0.499.
link(78,115) :- #0.323.
link(115,78) :- #0.046.
link(78,126) :- #0.701.
link(126,78) :- #0.121.
link(79,84) :- #0.169.
link(84,79) :- #0.941.
link(79,92) :- #0.739.
link(92,79) :- #0.055.
link(79,98) :- #0.396.
link(98,79) :- #0.796.
link(79,99) :- #0.014.
link(99,79) :- #0.548.
link(79,100) :- #0.185.
link(100,79) :- #0.837.
link(79,113) :- #0.772.
link(113,79) :- #0.587.
link(79,120) :- #0.646.
link(120,79) :- #0.298.
link(79,131) :- #0.017.
link(131,79) :- #0.068.
link(79,132) :- #0.496.
link(132,79) :- #0.218.
link(80,83) :- #0.989.
link(83,80) :- #0.823.
link(80,86) :- #0.303.
link(86,80) :- #0.207.
link(80,95) :- #0.557.
link(95,80) :- #0.392.
link(80,107) :- #0.193.
link(107,80) :- #0.966.
link(80,116) :- #0.365.
link(116,80) :- #0.01.
link(80,117) :- #0.235.
link(117,80) :- #0.247.
link(80,129) :- #0.423.
link(129,80) :- #0.939.
link(81,124) :- #0.077.
link(124,81) :- #0.02.
link(82,87) :- #0.252.
link(87,82) :- #0.514.
link(82,105) :- #0.778.
link(105,82) :- #0.18.
link(82,106) :- #0.442.
link(106,82) :- #0.447.
link(82,114) :- #0.864.
link(114,82) :- #0.858.
link(82,121) :- #0.448.
link(121,82) :- #0.129.
link(82,135) :- #0.15.
link(135,82) :- #0.548.
link(83,87) :- #0.733.
link(87,83) :- #0.194.
link(83,96) :- #0.043.
link(96,83) :- #0.705.
link(83,99) :- #0.314.
link(99,83) :- #0.168.
link(83,121) :- #0.447.
link(121,83) :- #0.207.
link(83,128) :- #0.791.
link(128,83) :- #0.892.
link(84,88) :- #0.636.
link(88,84) :- #0.363.
link(84,91) :- #0.957.
link(91,84) :- #0.854.
link(84,113) :- #0.093.
link(113,84) :- #0.724.
link(84,119) :- #0.682.
link(119,84) :- #0.868.
link(84,122) :- #0.308.
link(122,84) :- #0.293.
link(85,87) :- #0.551.
link(87,85) :- #0.525.
link(85,89) :- #0.324.
link(89,85) :- #0.441.
link(85,90) :- #0.381.
link(90,85) :- #0.827.
link(85,91) :- #0.811.
link(91,85) :- #0.667.
link(85,102) :- #0.594.
link(102,85) :- #0.704.
link(85,112) :- #0.013.
link(112,85) :- #0.597.
link(85,124) :- #0.234.
link(124,85) :- #0.134.
link(85,133) :- #0.807.
link(133,85) :- #0.4.
link(86,89) :- #0.273.
link(89,86) :- #0.118.
link(86,91) :- #0.642.
link(91,86) :- #0.252.
link(86,92) :- #0.553.
link(92,86) :- #0.236.
link(86,112) :- #0.424.
link(112,86) :- #0.797.
link(86,129) :- #0.115.
link(129,86) :- #0.358.
link(86,133) :- #0.754.
link(133,86) :- #0.86.
link(87,88) :- #0.638.
link(88,87) :- #0.61.
link(87,100) :- #0.788.
link(100,87) :- #0.356.
link(87,102) :- #0.828.
link(102,87) :- #0.985.
link(87,110) :- #0.571.
link(110,87) :- #0.256.
link(87,115) :- #0.856.
link(115,87) :- #0.344.
link(87,121) :- #0.91.
link(121,87) :- #0.41.
link(87,125) :- #0.52.
link(125,87) :- #0.518.
link(88,101) :- #0.748.
link(101,88) :- #0.525.
link(88,104) :- #0.999.
link(104,88) :- #0.269.
link(89,90) :- #0.964.
link(90,89) :- #0.775.
link(89,102) :- #0.548.
link(102,89) :- #0.951.
link(89,110) :- #0.445.
link(110,89) :- #0.661.
link(89,122) :- #0.804.
link(122,89) :- #0.374.
link(89,132) :- #0.001.
link(132,89) :- #0.286.
link(90,110) :- #0.838.
link(110,90) :- #0.141.
link(90,133) :- #0.981.
link(133,90) :- #0.201.
link(91,93) :- #0.393.
link(93,91) :- #0.099.
link(91,96) :- #0.567.
link(96,91) :- #0.128.
link(91,101) :- #0.87.
link(101,91) :- #0.646.
link(91,120) :- #0.343.
link(120,91) :- #0.037.
link(91,121) :- #0.408.
link(121,91) :- #0.956.
link(91,124) :- #0.522.
link(124,91) :- #0.173.
link(91,130) :- #0.477.
link(130,91) :- #0.376.
link(92,106) :- #0.734.
link(106,92) :- #0.433.
link(92,114) :- #0.777.
link(114,92) :- #0.889.
link(92,122) :- #0.622.
link(122,92) :- #0.093.
link(92,126) :- #0.211.
link(126,92) :- #0.735.
link(93,98) :- #0.165.
link(98,93) :- #0.851.
link(93,106) :- #0.36.
link(106,93) :- #0.687.
link(93,113) :- #0.02.
link(113,93) :- #0.905.
link(93,114) :- #0.339.
link(114,93) :- #0.743.
link(93,115) :- #0.82.
link(115,93) :- #0.587.
link(93,129) :- #0.24.
link(129,93) :- #0.76.
link(93,135) :- #0.972.
link(135,93) :- #0.724.
link(94,121) :- #0.436.
link(121,94) :- #0.021.
link(94,134) :- #0.539.
link(134,94) :- #0.366.
link(95,97) :- #0.024.
link(97,95) :- #0.609.
link(95,114) :- #0.392.
link(114,95) :- #0.94.
link(95,124) :- #0.157.
link(124,95) :- #0.402.
link(95,126) :- #0.325.
link(126,95) :- #0.975.
link(95,127) :- #0.335.
link(127,95) :- #0.329.
link(96,100) :- #0.869.
link(100,96) :- #0.72.
link(96,102) :- #0.996.
link(102,96) :- #0.379.
link(96,107) :- #0.194.
link(107,96) :- #0.752.
link(96,125) :- #0.626.
link(125,96) :- #0.592.
link(96,131) :- #0.944.
link(131,96) :- #0.745.
link(97,99) :- #0.764.
link(99,97) :- #0.549.
link(97,104) :- #0.069.
link(104,97) :- #0.224.
link(97,122) :- #0.535.
link(122,97) :- #0.631.
link(97,125) :- #0.173.
link(125,97) :- #0.333.
link(97,131) :- #0.063.
link(131,97) :- #0.708.
link(98,102) :- #0.64.
link(102,98) :- #0.507.
link(98,107) :- #0.289.
link(107,98) :- #0.892.
link(98,108) :- #0.563.
link(108,98) :- #0.673.
link(98,109) :- #0.249.
link(109,98) :- #0.284.
link(98,118) :- #0.297.
link(118,98) :- #0.09.
link(98,127) :- #0.069.
link(127,98) :- #0.186.
link(99,108) :- #0.467.
link(108,99) :- #0.696.
link(99,117) :- #0.26.
link(117,99) :- #0.342.
link(99,122) :- #0.299.
link(122,99) :- #0.535.
link(99,132) :- #0.806.
link(132,99) :- #0.373.
link(100,109) :- #0.91.
link(109,100) :- #0.249.
link(100,114) :- #0.207.
link(114,100) :- #0.489.
link(100,123) :- #0.324.
link(123,100) :- #0.195.
link(100,128) :- #0.667.
link(128,100) :- #0.821.
link(100,131) :- #0.632.
link(131,100) :- #0.606.
link(100,133) :- #0.798.
link(133,100) :- #0.614.
link(101,116) :- #0.414.
link(116,101) :- #0.481.
link(101,118) :- #0.292.
link(118,101) :- #0.163.
link(101,125) :- #0.827.
link(125,101) :- #0.028.
link(102,111) :- #0.541.
link(111,102) :- #0.56.
link(102,131) :- #0.124.
link(131,102) :- #0.42.
link(103,107) :- #0.974.
link(107,103) :- #0.15.
link(103,110) :- #0.687.
link(110,103) :- #0.057.
link(103,117) :- #0.117.
link(117,103) :- #0.506.
link(103,118) :- #0.376.
link(118,103) :- #0.163.
link(103,123) :- #0.115.
link(123,103) :- #0.73.
link(103,126) :- #0.373.
link(126,103) :- #0.427.
link(103,127) :- #0.524.
link(127,103) :- #0.031.
link(103,133) :- #0.109.
link(133,103) :- #0.911.
link(104,108) :- #0.66.
link(108,104) :- #0.822.
link(104,109) :- #0.948.
link(109,104) :- #0.039.
link(104,110) :- #0.356.
link(110,104) :- #0.594.
link(104,115) :- #0.33.
link(115,104) :- #0.211.
link(104,129) :- #0.754.
link(129,104) :- #0.65.
link(105,114) :- #0.176.
link(114,105) :- #0.197.
link(105,128) :- #0.073.
link(128,105) :- #0.437.
link(105,133) :- #0.581.
link(133,105) :- #0.927.
link(106,112) :- #0.488.
link(112,106) :- #0.923.
link(106,115) :- #0.792.
link(115,106) :- #0.413.
link(106,125) :- #0.238.
link(125,106) :- #0.706.
link(107,112) :- #0.151.
link(112,107) :- #0.248.
link(107,123) :- #0.464.
link(123,107) :- #0.555.
link(107,124) :- #0.011.
link(124,107) :- #0.447.
link(107,128) :- #0.452.
link(128,107) :- #0.952.
link(107,133) :- #0.588.
link(133,107) :- #0.01.
link(108,109) :- #0.872.
link(109,108) :- #0.165.
link(108,117) :- #0.601.
link(117,108) :- #0.869.
link(108,124) :- #0.199.
link(124,108) :- #0.004.
link(109,118) :- #0.186.
link(118,109) :- #0.224.
link(109,122) :- #0.909.
link(122,109) :- #0.025.
link(109,123) :- #0.791.
link(123,109) :- #0.374.
link(109,127) :- #0.847.
link(127,109) :- #0.645.
link(109,130) :- #0.189.
link(130,109) :- #0.188.
link(109,131) :- #0.681.
link(131,109) :- #0.734.
link(110,116) :- #0.66.
link(116,110) :- #0.279.
link(110,118) :- #0.843.
link(118,110) :- #0.422.
link(110,132) :- #0.347.
link(132,110) :- #0.733.
link(110,135) :- #0.148.
link(135,110) :- #0.426.
link(111,131) :- #0.402.
link(131,111) :- #0.111.
link(112,116) :- #0.53.
link(116,112) :- #0.399.
link(112,117) :- #0.354.
link(117,112) :- #0.19.
link(112,123) :- #0.317.
link(123,112) :- #0.928.
link(112,126) :- #0.085.
link(126,112) :- #0.964.
link(113,118) :- #0.054.
link(118,113) :- #0.654.
link(113,134) :- #0.434.
link(134,113) :- #0.431.
link(114,115) :- #0.617.
link(115,114) :- #0.945.
link(114,130) :- #0.037.
link(130,114) :- #0.359.
link(115,118) :- #0.576.
link(118,115) :- #0.828.
link(115,119) :- #0.986.
link(119,115) :- #0.896.
link(115,134) :- #0.329.
link(134,115) :- #0.965.
link(116,126) :- #0.058.
link(126,116) :- #0.659.
link(116,128) :- #0.356.
link(128,116) :- #0.13.
link(116,131) :- #0.801.
link(131,116) :- #0.886.
link(117,123) :- #0.012.
link(123,117) :- #0.328.
link(117,125) :- #0.976.
link(125,117) :- #0.704.
link(117,131) :- #0.313.
link(131,117) :- #0.737.
link(118,120) :- #0.812.
link(120,118) :- #0.49.
link(118,124) :- #0.096.
link(124,118) :- #0.588.
link(119,132) :- #0.94.
link(132,119) :- #0.227.
link(120,121) :- #0.338.
link(121,120) :- #0.681.
link(120,129) :- #0.717.
link(129,120) :- #0.466.
link(121,132) :- #0.209.
link(132,121) :- #0.075.
link(122,134) :- #0.982.
link(134,122) :- #0.785.
link(123,135) :- #0.997.
link(135,123) :- #0.967.
link(124,126) :- #0.128.
link(126,124) :- #0.043.
link(125,131) :- #0.333.
link(131,125) :- #0.354.
link(126,127) :- #0.054.
link(127,126) :- #0.384.
link(130,133) :- #0.239.
link(133,130) :- #0.816.
link(130,134) :- #0.048.
link(134,130) :- #0.112.
link(131,132) :- #0.611.
link(132,131) :- #0.096.
link(134,135) :- #0.726.
link(135,134) :- #0.724.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
